101. Recursion theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
R4
1985
102. Recursion theory
پدیدآورنده : Shoenfield, Joseph Robert
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
103. Recursion theory for metamathematics
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
104. Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus
کتابخانه: (طهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1141
105. Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده : K. Ambos-Spies, G. H. Muller, G. E. Sacks )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1432
106. Recursion theory week: proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1432
107. Recursion theory week: proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1141
108. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Recursion theory
رده :
QA
1
.
L4
v
.
1141
109. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: (طهران)
موضوع : Congresses ، Recursion theory
رده :
QA
9
.
6
.
R4
1984
110. Recursion theory week: proceedings of a conference held in Oberwolfach, west Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Recursion theory,، Representations of groups
رده :
QA
3
.
L28
no
.
1141
111. Recursive analysis
پدیدآورنده : Goodstein, Reuben Louis
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
248
.
5
.
G6
112. #Recursive aspects of descriptive set theory
پدیدآورنده : #Richard Mansfield, Galen Weitkamp , with a chapter by Stephen Simpson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Descriptive set theory ،Recursion theory
رده :
#
QA
،#.
M284
،#
1985
113. Recursive aspects of descriptive set theory /
پدیدآورنده : Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Descriptive set theory.,Recursion theory.,Descriptive set theory.,Deskriptive Mengenlehre.,Deskriptive Mengenlehre.,Recursie.,Recursion theory.,Rekursionstheorie.,Rekursionstheorie.,Verzamelingen (wiskunde)
رده :
QA248
.
M284
1985
114. #Recursiveness
پدیدآورنده : #]by[ Samuel Eilenberg ]and[ Calvin C. Elgot
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Recursion theory
رده :
#
QA
،#.
E35
115. Set theory and hierarchy theory V ... 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, and A. Zarach
کتابخانه: (طهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory -- Hierarchies,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
619
116. Set theory and hierarchy theory V:Bierutowice, Ploand, 1976
پدیدآورنده : Conference on set Theory and Hierachy Theory, 3d, Bierutowice, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Hirarchies -Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
117. Set theory and hierarchy theory V : Bierutowice, Poland, 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, A. Zarach
کتابخانه: (طهران)
موضوع : Congresses ، Set theory,Hierarchies -- Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
248
.
C6
1976
118. Set theory and hierarchy theory V: Bierutowice, Poland, 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Set theory,Hierarchies Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
119. Techniques admissible recursion theory
پدیدآورنده : Chong, Chi Tat
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory
رده :
QA
3
.
L28
no
.
1106
120. Techniques of admissible recursion theory
پدیدآورنده : Chong, Chi-Tat, 9491-
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1106
